 |
Your search returned 6 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1998 Volume number : 24 Issue: 01 |
Experiences Using Lightweight Formal Methods For Requirements Modeling
(Article)
Subject:
Formal Methods
,
Software Requirements
,
Nasa Engineers
Author:
John
Kelly
D
Hamilton
Richard
Covington
page:
04
-
14
Lessons From Using Z To Specify A Software Tool
(Article)
Subject:
Formal Methods
,
Statistical Techniques
,
Fault Dignosis
Author:
M.
Neil
Gary
Ostrolenk
Mark
Southworth
page:
15
-
23
Sofl A Formal Engineering Methodlogy For Industrial Applications
(Article)
Subject:
Structured Map
,
Object Oriented-Approach (Ooa)
,
Formal Methods
Author:
Shaoying
Liu
Jeff
Offutt
Yong
Sun
page:
24
-
45
Formal Verification Of Concurrent Programs Using The Larch Prover
(Article)
Subject:
Formal Verification
,
Protocol Verification Tool
,
Communication Protocol
Author:
Boutheina
Chetali
page:
46
-
62
Component Based Design Of Multitolerant Systems
(Article)
Subject:
Formal Methods
,
Compositional Analysis
,
Dependability
Author:
Anu
Arora
S. S
Kulkarni
page:
63
-
78
Evolution Of Object Behavior Using Context Relations
(Article)
Subject:
Dynamic Behavior
,
Method Of Frame
,
Dynamic Data Allocation
Author:
Linda M.
Seiter
Jens
Palsberg
Kari J.
Lieberherr
page:
79
-
95
|
|
| | |
